Automatentheorie

Automatentheorie,

 

als Teilgebiet der theoretischen Informatik die mathematische Theorie der abstrakten Automaten. Sie untersucht und beschreibt die mathematischen Strukturen und das Verhalten abstrakter Automaten (v. a. die Zusammenhänge zwischen ihren Eingangsgrößen, den durch diese bewirkten Änderungen der ihre innere Struktur beschreibenden Zustandsgrößen und ihren Ausgangsgrößen) und entwickelt mathematische Modelle, die z. B. Vorgänge bei der Datenverarbeitung, bei Lernprozessen, in der Wirtschaft beschreiben. Die so gewonnenen Erkenntnisse können dann bei der Konstruktion realer Automaten (z. B. Schaltwerke, Rechen- und Steuerwerke von Computern, Übersetzungsmaschinen) mittels Software, elektrischer oder elektronischer Schaltungen u. a. verwendet werden. Die Automatentheorie liefert außerdem Ansätze zu einer allgemeinen Theorie der Informationsprozesse (Systemtheorie), die die Theorie der Programmierung umfasst, und zu einer mathematischen Sprachtheorie.

 

Literatur:

 

H. Homuth: Einf. in die A. (1977);

 W. Brauer: A. (1984).